Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
421	F RIT S Cab: Fujaba Re-Engineering Tool Suite for Mechatronic Systems∗ Stefan Henkler, Moritz Breit, Christopher Brink, Markus Böger, Christian Brenner, Kathrin Bröker, Uwe Pohlmann, Manel Richtermeier, Julian Suck, Add to Reading List Source URL: www.fujaba.de Language: English - Date: 2011-11-08 14:37:30 Applied mathematics Model checking Worst-case execution time System Component-based software engineering Formal verification Software architecture Mechatronics Behavior Trees Embedded systems Software engineering Technology
422	PRESS RELEASE Pressemitteilung • Communiqué de Presse • Comunicato Stampa Atego launches Atego Vantage News Highlights  Unique combination of Model-based Systems and Software Engineering, Asset-based Add to Reading List Source URL: www.atego.com Language: English - Date: 2014-03-19 09:46:38 Software Business Software project management Atego Formal methods Information technology management Software development process Product lifecycle management Software design Technology Software development Product management
423	A BASIS FOR A MATHEMATICAL THEORY OF COMPUTATION∗ JOHN McCARTHY 1961–1963 [This 1963 paper was included in Computer Programming and Formal Systems, edited by P. Braffort and D. Hirshberg and published by North-Hollan Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:08:23 Theoretical computer science Theory of computation Functions and mappings Function Computable function Logical connective Computability Indeterminate form Universal quantification Computability theory Mathematics Mathematical logic
424	seL4 for Dependable Systems Software Developing dependable systems requires built-in security and safety at all levels of the system, including in the lowest-level system software: the operating system and device access Add to Reading List Source URL: sel4.org Language: English - Date: 2014-09-23 22:58:53 Gernot Heiser L4 microkernel family Formal verification Real-time operating systems Kernel Computer security Integrity Mach Ring Computer architecture Trusted computing base Microkernel
425	LOGICAL FRAMEWORKS—A BRIEF INTRODUCTION FRANK PFENNING () Carnegie Mellon University Abstract. A logical framework is a meta-language for the formalization of deductive systems. We provide a brief introdu Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2002-01-24 22:28:32 Proof theory Propositional calculus Dependently typed programming Type theory Formal languages First-order logic Natural deduction Higher-order abstract syntax Logical framework Logic Mathematical logic Mathematics
426	1. New Order from Old New Order from Old: The Rise of Second-Order Cybernetics and Implications for Machine Intelligence Add to Reading List Source URL: www.pangaro.com Language: English - Date: 2012-08-16 19:29:17 Knowledge Systems scientists Systems theory Formal sciences Guggenheim Fellows Second-order cybernetics Gordon Pask Conversation theory New cybernetics Cybernetics Science Systems science
427	To appear in the Intl. J. of Robotics Research Also Technical Report CRES, Center for Robotics and Embedded Systems, USC, July 2003 A formal analysis and taxonomy of task allocation in multi-robot systems Brian P. Add to Reading List Source URL: cres.usc.edu Language: English - Date: 2004-06-08 10:49:29 Operations research Linear programming Combinatorial optimization NP-complete problems Greedy algorithm Robot Assignment problem Algorithm Set cover problem Mathematics Theoretical computer science Applied mathematics
428	PLANT BIOINFORMATICS Tools MATTHIAS KLAPPERSTÜCK, HENDRIK MEHLHORN, ASTRID JUNKER, KAMBIZ BAGHALIAN, TOBIAS CZAUDERNA, EVA GRAFAHRENDBELAU, ANJA HARTMANN, HENDRIK ROHN AND FALK SCHREIBER VANTED FRAMEWORK The VANTED fram Add to Reading List Source URL: www.cls.zju.edu.cn Language: English - Date: 2013-06-17 21:43:16 Bioinformatics Knowledge Formal sciences BioPAX Genetics Molecular biology Systems Biology Graphical Notation Integrative bioinformatics Visualization Biology Science Systems biology
429	Embedding Formal Techniques into Industrial Product Development Experiences with the DESTECS approach Marcel Verhoef Chess eT International B.V. Add to Reading List Source URL: fm2012.cnam.fr Language: English - Date: 2013-06-18 10:17:21 Prevention Systems science Dependability Embedded system Fault injection Fault-tolerant system Simulation Control engineering Computing Model-based design
430	AprilKevin Mattheys Development of an integrated business and career model for Cost Engineering which would build an effective Add to Reading List Source URL: www.icoste.org Language: English - Date: 2011-03-03 23:37:30 Formal methods Science Systems engineering Learning Skill Software development process Project management IBM Rational Unified Process Business model Management Business Strategic management

UPDATE